Preservation of Modules
نویسندگان
چکیده
Within the Common Logic Ontology Repository (COLORE), relationships among ontologies such as the notions of faithful interpretability, logical synonymy, and reducibility have been used for ontology verification. Earlier work has shown how to use these relationships to find modules of theories, so a natural question is to determine how we can use the decomposition of one theory into modules to find the modules of another theory in the repository. In this paper, we examine a number of ontologies for which faithful interpretability and logical synonymy do not preserve their modules. Nevertheless, we identify a class of interpretations among theories which guarantees that the modules of a theory are preserved. We also show that the modules of reducible theories are preserved by logical synonymy.
منابع مشابه
A scalable permutation approach reveals replication and preservation patterns of gene coexpression modules
Gene coexpression network modules provide a framework for identifying shared biological functions. Analysis of topological preservation of modules across datasets is important for assessing reproducibility, and can reveal common function between tissues, cell types, and species. Although module preservation statistics have been developed, heuristics have been required for significance testing. ...
متن کاملMind the (Intelligibility) Gap
Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules and inter-module dependencies. Subsequently, we discuss how we can handle the evolution of modules and dependencies. This work can be exploited for building advanced preservation information systems and registries.
متن کاملDetailed results of Application 5: Preservation of female mouse liver modules in male mice
Several studies have explored how co-expression module networks change between mouse tissues [1] and/or genders [2]. Here we re-analyze mouse liver samples of an F2 mouse intercross [3,4] to study whether “female” modules (i.e., modules found in a network based on female mice) are preserved in the corresponding male network. The data sets consist of 135 female and 124 male samples. The modules ...
متن کاملS 1 : Methods description and relationships between module preservation statistics
Here, we provide additional methodological details regarding the module preservation statistics. In the first section, we describe standard cross-tabulation based module preservation statistics. Specifically, we present three basic crosstabulation based statistics for determining whether modules in a reference data set are preserved in a test data set. These statistics do not assume that a test...
متن کاملON PROJECTIVE L- MODULES
The concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. The notion of free fuzzy modules was introducedby Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameriintroduced the concept of projective and injective L-modules. In this paper we give analternate definition for projective L-modules. We prove that e...
متن کاملOn Rickart modules
Let $R$ be an arbitrary ring with identity and $M$ a right $R$-module with $S=$ End$_R(M)$. The module $M$ is called {it Rickart} if for any $fin S$, $r_M(f)=Se$ for some $e^2=ein S$. We prove that some results of principally projective rings and Baer modules can be extended to Rickart modules for this general settings.
متن کامل